A hierarchy of clopen graphs on the Baire space
نویسنده
چکیده
We say that E ⊆ X × X is a clopen graph on X iff E is symmetric and irreflexive and clopen relative to X\∆ where ∆ = {(x, x) : x ∈ X} is the diagonal. Equivalently E ⊆ [X] and for all x 6= y ∈ X there are open neighborhoods x ∈ U and y ∈ V such that either U × V ⊆ E or U × V ⊆ X\E. For clopen graphs E1, E2 on spaces X1, X2, we say that E1 continuously reduces to E2 iff there is a continuous map f : X1 → X2 such that for every x, y ∈ X1 (x, y) ∈ E1 iff (f(x), f(y)) ∈ E2.
منابع مشابه
Clopen Graphs
A graph G on a topological space X as its set of vertices is clopen if the edge relation of G is a clopen subset of X2 without the diagonal. We study clopen graphs on Polish spaces in terms of their finite induced subgraphs and obtain information about their cochromatic numbers. In this context we investigate modular profinite graphs, a class of graphs obtained from finite graphs by taking inve...
متن کاملA note on Volterra and Baire spaces
In Proposition 2.6 in (G. Gruenhage, A. Lutzer, Baire and Volterra spaces, textit{Proc. Amer. Math. Soc.} {128} (2000), no. 10, 3115--3124) a condition that every point of $D$ is $G_delta$ in $X$ was overlooked. So we proved some conditions by which a Baire space is equivalent to a Volterra space. In this note we show that if $X$ is a monotonically normal $T_1...
متن کاملClopen Graphs, Inverse Limits, and Cochromatic Numbers
A graph G on a topological space X as its set of vertices is clopen if the edge relation of G is a clopen subset of X2 without the diagonal. We study clopen graphs on Polish spaces in terms of their finite induced subgraphs and obtain information about their cochromatic numbers. In this context we investigate modular profinite graphs, a class of graphs obtained from finite graphs by taking inve...
متن کاملTOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES
We present a topological characterization for fuzzy regular languages: we show that there is a bijective correspondence between fuzzy regular languages and the set of all clopen fuzzy subsets with finite image in the induced fuzzy topological space of Stone space (Profinite space), and then we give a representation of closed fuzzy subsets in the induced fuzzy topological space via fuzzy regular...
متن کاملWadge Hierarchy of differences of Co-analytic Sets
We begin the fine analysis of non Borel pointclasses. Working in ZFC + ̃ 11), we describe the Wadge hierarchy of the class of increasing differences of coanalytic subsets of the Baire space by extending results obtained by Louveau ([5]) for the Borel sets. Introduction. Collections of substets of the Baire space, the "logician’s reals", that are closed under continuous preimages have always been...
متن کامل